Sfoglia per Rivista ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis
2005-01-01 Armando, Alessandro; Viganò, L.
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
2006-01-01 Armando, Alessandro; Cimatti, Alessandro
Preface
2007-01-01 Roderick, Bloem; Roveri, Marco; Fabio, Somenzi
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction"
1999-01-01 Armando, Alessandro; Jabelean, T.
The Control Component of Open Mechanized Reasoning Systems
1999-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.
TSAT++: an Open Platform for Satisfiability Modulo Theories
2005-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Idini, M.; Maratea, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis | 1-gen-2005 | Armando, Alessandro; Viganò, L. | |
| Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning | 1-gen-2006 | Armando, Alessandro; Cimatti, Alessandro | |
| Preface | 1-gen-2007 | Roderick, Bloem; Roveri, Marco; Fabio, Somenzi | |
| Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" | 1-gen-1999 | Armando, Alessandro; Jabelean, T. | |
| The Control Component of Open Mechanized Reasoning Systems | 1-gen-1999 | Armando, Alessandro; Coglio, A.; Giunchiglia, F. | |
| TSAT++: an Open Platform for Satisfiability Modulo Theories | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Idini, M.; Maratea, M. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile